机译:第十届国际计算机辅助设计形式方法会议(FMCAD)
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:E. Francesconi,S。Montemagni,W。Peters,D。Tiscornia:法律文本的语义处理:法律语言符合语言法的地方(计算机科学讲义:人工智能讲义,第6036卷)
机译:计算机科学讲义:Voronoi图的混合网格算法研究
机译:计算机辅助设计中的形式方法。
机译:通过三种方法评估酸碱报告分析的准确性和时间:计算机辅助方法是否最佳?
机译:软件工程和形式方法。 SEFM2017。计算机科学讲座